{-# OPTIONS --warning=error #-}

{-# POLARITY F #-}
{-# POLARITY G #-}
